Problem decomposition for reuse

An approach to software development problems is presented, and illustrated by an example. The approach is based on the ideas of problem frames and structuring speci cations by views. It is claimed that decompositions obtained by this approach result in a more e ective separation of concerns, and that the resulting components are more likely to be reusable than those obtained by more conventional approaches. The characteristics of desirable integration mechanisms are discussed, together with some other considerations arising out of the approach presented.